Typing rules OCL specification of QoS-capable ODP Computational Interfaces

Specification Of OCL Constraints On ODP Computational Interfaces

Open Distributed Processing systems are constructed in terms of five viewpoints. The computational viewpoint which supports three sorts of interaction models imposes constraints on their corresponding computational interfaces. Computational interfaces are strongly typed so as to sustain meaningful object interaction. We address in this work the need to re-verbalize both interaction signature co...

UML4ODP: OCL 2.0 Constraints Specification & UML Modeling of Interfaces in the Computational Metamodel

The purpose of this work is analysis of computational language concepts and introduction of novel pertinent ones in order to provide a new computational metamodel of interaction signatures in UML4ODP FDIS. we mainly introduce the concept of Functional computational interface which unify signal and operation interfaces notions. The unification of signal and operation interactions concepts is pre...

Avoiding OCL specification pitfalls

This paper discusses about teaching software modeling by using OCL specifications, in the context in which the web represents the main source of information. The raise of the interest for models induced a higher need for clear and complete specifications. In case of models specified by means of MOF-based languages, adding OCL constraints proved to be an interesting answer to this need. Several ...

Odp Computational Model 1 Introduction to Odp Computational Model

Specifying ODP Computational

The computational viewpoint contained within the Reference Model of Open Dis tributed Processing RM ODP shows how collections of objects can be con gured within a distributed system to enable interworking It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be con gured with one another This paper highlights how t...